121. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
122. Formal methods in standards :
پدیدآورنده : from the BCS working group ; ed. by C.L.N. Ruggles.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
S8
F766
1990
123. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
124. Formal models of agents
پدیدآورنده : John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Intelligent agents (Computer software)
125. Formal specification :
پدیدآورنده : Nimal Nissanke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
126. Formal system verification : state-of-the-art and future trends
پدیدآورنده : Rolf Drechsler, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
127. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
128. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
129. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
130. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
131. Formal verification of object-oriented software :
پدیدآورنده : Bernhard Beckert, Claude Marche (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
F68
2011
132. Formal verification of object-oriented software :
پدیدآورنده : FoVeOOS 2011, Turin, Italy, October 5-7, 2011 ; Bernhard Beckert [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Objektorientierung,Softwareprodukt,Verifikation
133. Foundational and practical aspects of resource analysis :
پدیدآورنده : Ricardo Peña, Marko Eekelen, Olha Shkaravska (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer software -- Development.
134. Foundations of Computer Softwar
پدیدآورنده : [electronic resource]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic books
135. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
پدیدآورنده : / Radu Calinescu, Ethan Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
136. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
137. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
138. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
139. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software, Congresses.,System analysis, Congresses.
140. From Multiscale Modeling to Meso-Scienc
پدیدآورنده : / by Jinghai Li, Wei Ge, Wei Wang, Ning Yang, Xinhua Liu, Limin Wang, Xianfeng He, Xiaowei Wang, Junwu Wang, Mooson Kwauk
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Chemical engineering,Computer aided design,Physics,Hydraulic engineering,Electric engineering,Electronic books
رده :
E-BOOK